Total Books: 1 - 1 /1
Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suite
Total Books: 1 - 1 /1
